3.1.3 \(\int \frac {(c+d x+e x^2)^3}{\sqrt {a+b x}} \, dx\) [3]

3.1.3.1 Optimal result
3.1.3.2 Mathematica [A] (verified)
3.1.3.3 Rubi [A] (verified)
3.1.3.4 Maple [A] (verified)
3.1.3.5 Fricas [A] (verification not implemented)
3.1.3.6 Sympy [B] (verification not implemented)
3.1.3.7 Maxima [B] (verification not implemented)
3.1.3.8 Giac [B] (verification not implemented)
3.1.3.9 Mupad [B] (verification not implemented)

3.1.3.1 Optimal result

Integrand size = 22, antiderivative size = 274 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2 \left (b^2 c-a b d+a^2 e\right )^3 \sqrt {a+b x}}{b^7}+\frac {2 (b d-2 a e) \left (b^2 c-a b d+a^2 e\right )^2 (a+b x)^{3/2}}{b^7}-\frac {6 \left (b^2 c-a b d+a^2 e\right ) \left (5 a b d e-5 a^2 e^2-b^2 \left (d^2+c e\right )\right ) (a+b x)^{5/2}}{5 b^7}-\frac {2 (b d-2 a e) \left (10 a b d e-10 a^2 e^2-b^2 \left (d^2+6 c e\right )\right ) (a+b x)^{7/2}}{7 b^7}-\frac {2 e \left (5 a b d e-5 a^2 e^2-b^2 \left (d^2+c e\right )\right ) (a+b x)^{9/2}}{3 b^7}+\frac {6 e^2 (b d-2 a e) (a+b x)^{11/2}}{11 b^7}+\frac {2 e^3 (a+b x)^{13/2}}{13 b^7} \]

output
2*(-2*a*e+b*d)*(a^2*e-a*b*d+b^2*c)^2*(b*x+a)^(3/2)/b^7-6/5*(a^2*e-a*b*d+b^ 
2*c)*(5*a*b*d*e-5*a^2*e^2-b^2*(c*e+d^2))*(b*x+a)^(5/2)/b^7-2/7*(-2*a*e+b*d 
)*(10*a*b*d*e-10*a^2*e^2-b^2*(6*c*e+d^2))*(b*x+a)^(7/2)/b^7-2/3*e*(5*a*b*d 
*e-5*a^2*e^2-b^2*(c*e+d^2))*(b*x+a)^(9/2)/b^7+6/11*e^2*(-2*a*e+b*d)*(b*x+a 
)^(11/2)/b^7+2/13*e^3*(b*x+a)^(13/2)/b^7+2*(a^2*e-a*b*d+b^2*c)^3*(b*x+a)^( 
1/2)/b^7
 
3.1.3.2 Mathematica [A] (verified)

Time = 0.31 (sec) , antiderivative size = 355, normalized size of antiderivative = 1.30 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2 \sqrt {a+b x} \left (5120 a^6 e^3-1280 a^5 b e^2 (13 d+2 e x)+128 a^4 b^2 e \left (143 d^2+65 d e x+e \left (143 c+15 e x^2\right )\right )-16 a^3 b^3 \left (429 d^3+572 d^2 e x+78 d e \left (33 c+5 e x^2\right )+4 e^2 x \left (143 c+25 e x^2\right )\right )+8 a^2 b^4 \left (3003 c^2 e+429 c \left (7 d^2+6 d e x+2 e^2 x^2\right )+x \left (429 d^3+858 d^2 e x+650 d e^2 x^2+175 e^3 x^3\right )\right )+b^6 \left (15015 c^3+3003 c^2 x (5 d+3 e x)+143 c x^2 \left (63 d^2+90 d e x+35 e^2 x^2\right )+5 x^3 \left (429 d^3+1001 d^2 e x+819 d e^2 x^2+231 e^3 x^3\right )\right )-2 a b^5 \left (3003 c^2 (5 d+2 e x)+286 c x \left (21 d^2+27 d e x+10 e^2 x^2\right )+x^2 \left (1287 d^3+2860 d^2 e x+2275 d e^2 x^2+630 e^3 x^3\right )\right )\right )}{15015 b^7} \]

input
Integrate[(c + d*x + e*x^2)^3/Sqrt[a + b*x],x]
 
output
(2*Sqrt[a + b*x]*(5120*a^6*e^3 - 1280*a^5*b*e^2*(13*d + 2*e*x) + 128*a^4*b 
^2*e*(143*d^2 + 65*d*e*x + e*(143*c + 15*e*x^2)) - 16*a^3*b^3*(429*d^3 + 5 
72*d^2*e*x + 78*d*e*(33*c + 5*e*x^2) + 4*e^2*x*(143*c + 25*e*x^2)) + 8*a^2 
*b^4*(3003*c^2*e + 429*c*(7*d^2 + 6*d*e*x + 2*e^2*x^2) + x*(429*d^3 + 858* 
d^2*e*x + 650*d*e^2*x^2 + 175*e^3*x^3)) + b^6*(15015*c^3 + 3003*c^2*x*(5*d 
 + 3*e*x) + 143*c*x^2*(63*d^2 + 90*d*e*x + 35*e^2*x^2) + 5*x^3*(429*d^3 + 
1001*d^2*e*x + 819*d*e^2*x^2 + 231*e^3*x^3)) - 2*a*b^5*(3003*c^2*(5*d + 2* 
e*x) + 286*c*x*(21*d^2 + 27*d*e*x + 10*e^2*x^2) + x^2*(1287*d^3 + 2860*d^2 
*e*x + 2275*d*e^2*x^2 + 630*e^3*x^3))))/(15015*b^7)
 
3.1.3.3 Rubi [A] (verified)

Time = 0.46 (sec) , antiderivative size = 274, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {1140, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx\)

\(\Big \downarrow \) 1140

\(\displaystyle \int \left (\frac {3 e (a+b x)^{7/2} \left (5 a^2 e^2-5 a b d e+b^2 \left (c e+d^2\right )\right )}{b^6}+\frac {(a+b x)^{5/2} (b d-2 a e) \left (10 a^2 e^2-10 a b d e+b^2 \left (6 c e+d^2\right )\right )}{b^6}+\frac {3 (a+b x)^{3/2} \left (a^2 e-a b d+b^2 c\right ) \left (5 a^2 e^2-5 a b d e+b^2 c e+b^2 d^2\right )}{b^6}+\frac {3 \sqrt {a+b x} (b d-2 a e) \left (a^2 e-a b d+b^2 c\right )^2}{b^6}+\frac {\left (a^2 e-a b d+b^2 c\right )^3}{b^6 \sqrt {a+b x}}+\frac {3 e^2 (a+b x)^{9/2} (b d-2 a e)}{b^6}+\frac {e^3 (a+b x)^{11/2}}{b^6}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {2 e (a+b x)^{9/2} \left (-5 a^2 e^2+5 a b d e-\left (b^2 \left (c e+d^2\right )\right )\right )}{3 b^7}-\frac {2 (a+b x)^{7/2} (b d-2 a e) \left (-10 a^2 e^2+10 a b d e-\left (b^2 \left (6 c e+d^2\right )\right )\right )}{7 b^7}-\frac {6 (a+b x)^{5/2} \left (a^2 e-a b d+b^2 c\right ) \left (-5 a^2 e^2+5 a b d e-\left (b^2 \left (c e+d^2\right )\right )\right )}{5 b^7}+\frac {2 (a+b x)^{3/2} (b d-2 a e) \left (a^2 e-a b d+b^2 c\right )^2}{b^7}+\frac {2 \sqrt {a+b x} \left (a^2 e-a b d+b^2 c\right )^3}{b^7}+\frac {6 e^2 (a+b x)^{11/2} (b d-2 a e)}{11 b^7}+\frac {2 e^3 (a+b x)^{13/2}}{13 b^7}\)

input
Int[(c + d*x + e*x^2)^3/Sqrt[a + b*x],x]
 
output
(2*(b^2*c - a*b*d + a^2*e)^3*Sqrt[a + b*x])/b^7 + (2*(b*d - 2*a*e)*(b^2*c 
- a*b*d + a^2*e)^2*(a + b*x)^(3/2))/b^7 - (6*(b^2*c - a*b*d + a^2*e)*(5*a* 
b*d*e - 5*a^2*e^2 - b^2*(d^2 + c*e))*(a + b*x)^(5/2))/(5*b^7) - (2*(b*d - 
2*a*e)*(10*a*b*d*e - 10*a^2*e^2 - b^2*(d^2 + 6*c*e))*(a + b*x)^(7/2))/(7*b 
^7) - (2*e*(5*a*b*d*e - 5*a^2*e^2 - b^2*(d^2 + c*e))*(a + b*x)^(9/2))/(3*b 
^7) + (6*e^2*(b*d - 2*a*e)*(a + b*x)^(11/2))/(11*b^7) + (2*e^3*(a + b*x)^( 
13/2))/(13*b^7)
 

3.1.3.3.1 Defintions of rubi rules used

rule 1140
Int[((d_.) + (e_.)*(x_))^(m_.)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x 
_Symbol] :> Int[ExpandIntegrand[(d + e*x)^m*(a + b*x + c*x^2)^p, x], x] /; 
FreeQ[{a, b, c, d, e, m}, x] && IGtQ[p, 0]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 
3.1.3.4 Maple [A] (verified)

Time = 5.25 (sec) , antiderivative size = 325, normalized size of antiderivative = 1.19

method result size
pseudoelliptic \(\frac {2048 \left (\left (\frac {231 e^{3} x^{6}}{1024}+\frac {1001 \left (\frac {9 d x}{11}+c \right ) x^{4} e^{2}}{1024}+\frac {9009 x^{2} \left (\frac {5}{9} d^{2} x^{2}+\frac {10}{7} c d x +c^{2}\right ) e}{5120}+\frac {3003 c^{3}}{1024}+\frac {429 d^{3} x^{3}}{1024}+\frac {3003 c^{2} d x}{1024}+\frac {9009 c \,d^{2} x^{2}}{5120}\right ) b^{6}-\frac {3003 \left (\frac {6 e^{3} x^{5}}{143}+\left (\frac {5}{33} d \,x^{4}+\frac {4}{21} c \,x^{3}\right ) e^{2}+\left (\frac {4}{21} d^{2} x^{3}+\frac {18}{35} c d \,x^{2}+\frac {2}{5} c^{2} x \right ) e +d \left (\frac {3}{35} d^{2} x^{2}+\frac {2}{5} c d x +c^{2}\right )\right ) a \,b^{5}}{512}+\frac {3003 \left (\frac {25 e^{3} x^{4}}{429}+\frac {2 x^{2} \left (\frac {25 d x}{33}+c \right ) e^{2}}{7}+\left (\frac {2}{7} d^{2} x^{2}+\frac {6}{7} c d x +c^{2}\right ) e +d^{2} \left (\frac {d x}{7}+c \right )\right ) a^{2} b^{4}}{640}-\frac {1287 \left (\frac {50 e^{3} x^{3}}{1287}+\left (\frac {5}{33} d \,x^{2}+\frac {2}{9} c x \right ) e^{2}+d \left (\frac {2 d x}{9}+c \right ) e +\frac {d^{3}}{6}\right ) a^{3} b^{3}}{160}+\frac {143 e \,a^{4} \left (\frac {15 x^{2} e^{2}}{143}+\left (\frac {5 d x}{11}+c \right ) e +d^{2}\right ) b^{2}}{40}-\frac {13 e^{2} \left (\frac {2 e x}{13}+d \right ) a^{5} b}{4}+a^{6} e^{3}\right ) \sqrt {b x +a}}{3003 b^{7}}\) \(325\)
derivativedivides \(\frac {\frac {2 e^{3} \left (b x +a \right )^{\frac {13}{2}}}{13}+\frac {6 \left (-2 a e +b d \right ) e^{2} \left (b x +a \right )^{\frac {11}{2}}}{11}+\frac {2 \left (\left (a^{2} e -a b d +b^{2} c \right ) e^{2}+2 \left (-2 a e +b d \right )^{2} e +e \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )\right ) \left (b x +a \right )^{\frac {9}{2}}}{9}+\frac {2 \left (4 \left (a^{2} e -a b d +b^{2} c \right ) \left (-2 a e +b d \right ) e +\left (-2 a e +b d \right ) \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )\right ) \left (b x +a \right )^{\frac {7}{2}}}{7}+\frac {2 \left (\left (a^{2} e -a b d +b^{2} c \right ) \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )+2 \left (-2 a e +b d \right )^{2} \left (a^{2} e -a b d +b^{2} c \right )+e \left (a^{2} e -a b d +b^{2} c \right )^{2}\right ) \left (b x +a \right )^{\frac {5}{2}}}{5}+2 \left (a^{2} e -a b d +b^{2} c \right )^{2} \left (-2 a e +b d \right ) \left (b x +a \right )^{\frac {3}{2}}+2 \left (a^{2} e -a b d +b^{2} c \right )^{3} \sqrt {b x +a}}{b^{7}}\) \(355\)
default \(\frac {\frac {2 e^{3} \left (b x +a \right )^{\frac {13}{2}}}{13}+\frac {6 \left (-2 a e +b d \right ) e^{2} \left (b x +a \right )^{\frac {11}{2}}}{11}+\frac {2 \left (\left (a^{2} e -a b d +b^{2} c \right ) e^{2}+2 \left (-2 a e +b d \right )^{2} e +e \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )\right ) \left (b x +a \right )^{\frac {9}{2}}}{9}+\frac {2 \left (4 \left (a^{2} e -a b d +b^{2} c \right ) \left (-2 a e +b d \right ) e +\left (-2 a e +b d \right ) \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )\right ) \left (b x +a \right )^{\frac {7}{2}}}{7}+\frac {2 \left (\left (a^{2} e -a b d +b^{2} c \right ) \left (2 \left (a^{2} e -a b d +b^{2} c \right ) e +\left (-2 a e +b d \right )^{2}\right )+2 \left (-2 a e +b d \right )^{2} \left (a^{2} e -a b d +b^{2} c \right )+e \left (a^{2} e -a b d +b^{2} c \right )^{2}\right ) \left (b x +a \right )^{\frac {5}{2}}}{5}+2 \left (a^{2} e -a b d +b^{2} c \right )^{2} \left (-2 a e +b d \right ) \left (b x +a \right )^{\frac {3}{2}}+2 \left (a^{2} e -a b d +b^{2} c \right )^{3} \sqrt {b x +a}}{b^{7}}\) \(355\)
gosper \(\frac {2 \sqrt {b x +a}\, \left (1155 e^{3} x^{6} b^{6}-1260 a \,b^{5} e^{3} x^{5}+4095 b^{6} d \,e^{2} x^{5}+1400 a^{2} b^{4} e^{3} x^{4}-4550 a \,b^{5} d \,e^{2} x^{4}+5005 b^{6} c \,e^{2} x^{4}+5005 b^{6} d^{2} e \,x^{4}-1600 a^{3} b^{3} e^{3} x^{3}+5200 a^{2} b^{4} d \,e^{2} x^{3}-5720 a \,b^{5} c \,e^{2} x^{3}-5720 a \,b^{5} d^{2} e \,x^{3}+12870 b^{6} c d e \,x^{3}+2145 b^{6} d^{3} x^{3}+1920 a^{4} b^{2} e^{3} x^{2}-6240 a^{3} b^{3} d \,e^{2} x^{2}+6864 a^{2} b^{4} c \,e^{2} x^{2}+6864 a^{2} b^{4} d^{2} e \,x^{2}-15444 a \,b^{5} c d e \,x^{2}-2574 a \,b^{5} d^{3} x^{2}+9009 b^{6} c^{2} e \,x^{2}+9009 b^{6} c \,d^{2} x^{2}-2560 a^{5} b \,e^{3} x +8320 a^{4} b^{2} d \,e^{2} x -9152 a^{3} b^{3} c \,e^{2} x -9152 a^{3} b^{3} d^{2} e x +20592 a^{2} b^{4} c d e x +3432 a^{2} b^{4} d^{3} x -12012 a \,b^{5} c^{2} e x -12012 a \,b^{5} c \,d^{2} x +15015 b^{6} c^{2} d x +5120 a^{6} e^{3}-16640 a^{5} b d \,e^{2}+18304 a^{4} b^{2} c \,e^{2}+18304 a^{4} b^{2} d^{2} e -41184 a^{3} b^{3} c d e -6864 a^{3} b^{3} d^{3}+24024 a^{2} b^{4} c^{2} e +24024 a^{2} b^{4} c \,d^{2}-30030 a \,b^{5} c^{2} d +15015 c^{3} b^{6}\right )}{15015 b^{7}}\) \(495\)
trager \(\frac {2 \sqrt {b x +a}\, \left (1155 e^{3} x^{6} b^{6}-1260 a \,b^{5} e^{3} x^{5}+4095 b^{6} d \,e^{2} x^{5}+1400 a^{2} b^{4} e^{3} x^{4}-4550 a \,b^{5} d \,e^{2} x^{4}+5005 b^{6} c \,e^{2} x^{4}+5005 b^{6} d^{2} e \,x^{4}-1600 a^{3} b^{3} e^{3} x^{3}+5200 a^{2} b^{4} d \,e^{2} x^{3}-5720 a \,b^{5} c \,e^{2} x^{3}-5720 a \,b^{5} d^{2} e \,x^{3}+12870 b^{6} c d e \,x^{3}+2145 b^{6} d^{3} x^{3}+1920 a^{4} b^{2} e^{3} x^{2}-6240 a^{3} b^{3} d \,e^{2} x^{2}+6864 a^{2} b^{4} c \,e^{2} x^{2}+6864 a^{2} b^{4} d^{2} e \,x^{2}-15444 a \,b^{5} c d e \,x^{2}-2574 a \,b^{5} d^{3} x^{2}+9009 b^{6} c^{2} e \,x^{2}+9009 b^{6} c \,d^{2} x^{2}-2560 a^{5} b \,e^{3} x +8320 a^{4} b^{2} d \,e^{2} x -9152 a^{3} b^{3} c \,e^{2} x -9152 a^{3} b^{3} d^{2} e x +20592 a^{2} b^{4} c d e x +3432 a^{2} b^{4} d^{3} x -12012 a \,b^{5} c^{2} e x -12012 a \,b^{5} c \,d^{2} x +15015 b^{6} c^{2} d x +5120 a^{6} e^{3}-16640 a^{5} b d \,e^{2}+18304 a^{4} b^{2} c \,e^{2}+18304 a^{4} b^{2} d^{2} e -41184 a^{3} b^{3} c d e -6864 a^{3} b^{3} d^{3}+24024 a^{2} b^{4} c^{2} e +24024 a^{2} b^{4} c \,d^{2}-30030 a \,b^{5} c^{2} d +15015 c^{3} b^{6}\right )}{15015 b^{7}}\) \(495\)
risch \(\frac {2 \sqrt {b x +a}\, \left (1155 e^{3} x^{6} b^{6}-1260 a \,b^{5} e^{3} x^{5}+4095 b^{6} d \,e^{2} x^{5}+1400 a^{2} b^{4} e^{3} x^{4}-4550 a \,b^{5} d \,e^{2} x^{4}+5005 b^{6} c \,e^{2} x^{4}+5005 b^{6} d^{2} e \,x^{4}-1600 a^{3} b^{3} e^{3} x^{3}+5200 a^{2} b^{4} d \,e^{2} x^{3}-5720 a \,b^{5} c \,e^{2} x^{3}-5720 a \,b^{5} d^{2} e \,x^{3}+12870 b^{6} c d e \,x^{3}+2145 b^{6} d^{3} x^{3}+1920 a^{4} b^{2} e^{3} x^{2}-6240 a^{3} b^{3} d \,e^{2} x^{2}+6864 a^{2} b^{4} c \,e^{2} x^{2}+6864 a^{2} b^{4} d^{2} e \,x^{2}-15444 a \,b^{5} c d e \,x^{2}-2574 a \,b^{5} d^{3} x^{2}+9009 b^{6} c^{2} e \,x^{2}+9009 b^{6} c \,d^{2} x^{2}-2560 a^{5} b \,e^{3} x +8320 a^{4} b^{2} d \,e^{2} x -9152 a^{3} b^{3} c \,e^{2} x -9152 a^{3} b^{3} d^{2} e x +20592 a^{2} b^{4} c d e x +3432 a^{2} b^{4} d^{3} x -12012 a \,b^{5} c^{2} e x -12012 a \,b^{5} c \,d^{2} x +15015 b^{6} c^{2} d x +5120 a^{6} e^{3}-16640 a^{5} b d \,e^{2}+18304 a^{4} b^{2} c \,e^{2}+18304 a^{4} b^{2} d^{2} e -41184 a^{3} b^{3} c d e -6864 a^{3} b^{3} d^{3}+24024 a^{2} b^{4} c^{2} e +24024 a^{2} b^{4} c \,d^{2}-30030 a \,b^{5} c^{2} d +15015 c^{3} b^{6}\right )}{15015 b^{7}}\) \(495\)

input
int((e*x^2+d*x+c)^3/(b*x+a)^(1/2),x,method=_RETURNVERBOSE)
 
output
2048/3003*((231/1024*e^3*x^6+1001/1024*(9/11*d*x+c)*x^4*e^2+9009/5120*x^2* 
(5/9*d^2*x^2+10/7*c*d*x+c^2)*e+3003/1024*c^3+429/1024*d^3*x^3+3003/1024*c^ 
2*d*x+9009/5120*c*d^2*x^2)*b^6-3003/512*(6/143*e^3*x^5+(5/33*d*x^4+4/21*c* 
x^3)*e^2+(4/21*d^2*x^3+18/35*c*d*x^2+2/5*c^2*x)*e+d*(3/35*d^2*x^2+2/5*c*d* 
x+c^2))*a*b^5+3003/640*(25/429*e^3*x^4+2/7*x^2*(25/33*d*x+c)*e^2+(2/7*d^2* 
x^2+6/7*c*d*x+c^2)*e+d^2*(1/7*d*x+c))*a^2*b^4-1287/160*(50/1287*e^3*x^3+(5 
/33*d*x^2+2/9*c*x)*e^2+d*(2/9*d*x+c)*e+1/6*d^3)*a^3*b^3+143/40*e*a^4*(15/1 
43*x^2*e^2+(5/11*d*x+c)*e+d^2)*b^2-13/4*e^2*(2/13*e*x+d)*a^5*b+a^6*e^3)*(b 
*x+a)^(1/2)/b^7
 
3.1.3.5 Fricas [A] (verification not implemented)

Time = 0.28 (sec) , antiderivative size = 457, normalized size of antiderivative = 1.67 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2 \, {\left (1155 \, b^{6} e^{3} x^{6} + 15015 \, b^{6} c^{3} - 30030 \, a b^{5} c^{2} d + 24024 \, a^{2} b^{4} c d^{2} - 6864 \, a^{3} b^{3} d^{3} + 5120 \, a^{6} e^{3} + 315 \, {\left (13 \, b^{6} d e^{2} - 4 \, a b^{5} e^{3}\right )} x^{5} + 35 \, {\left (143 \, b^{6} d^{2} e + 40 \, a^{2} b^{4} e^{3} + 13 \, {\left (11 \, b^{6} c - 10 \, a b^{5} d\right )} e^{2}\right )} x^{4} + 5 \, {\left (429 \, b^{6} d^{3} - 320 \, a^{3} b^{3} e^{3} - 104 \, {\left (11 \, a b^{5} c - 10 \, a^{2} b^{4} d\right )} e^{2} + 286 \, {\left (9 \, b^{6} c d - 4 \, a b^{5} d^{2}\right )} e\right )} x^{3} + 1664 \, {\left (11 \, a^{4} b^{2} c - 10 \, a^{5} b d\right )} e^{2} + 3 \, {\left (3003 \, b^{6} c d^{2} - 858 \, a b^{5} d^{3} + 640 \, a^{4} b^{2} e^{3} + 208 \, {\left (11 \, a^{2} b^{4} c - 10 \, a^{3} b^{3} d\right )} e^{2} + 143 \, {\left (21 \, b^{6} c^{2} - 36 \, a b^{5} c d + 16 \, a^{2} b^{4} d^{2}\right )} e\right )} x^{2} + 1144 \, {\left (21 \, a^{2} b^{4} c^{2} - 36 \, a^{3} b^{3} c d + 16 \, a^{4} b^{2} d^{2}\right )} e + {\left (15015 \, b^{6} c^{2} d - 12012 \, a b^{5} c d^{2} + 3432 \, a^{2} b^{4} d^{3} - 2560 \, a^{5} b e^{3} - 832 \, {\left (11 \, a^{3} b^{3} c - 10 \, a^{4} b^{2} d\right )} e^{2} - 572 \, {\left (21 \, a b^{5} c^{2} - 36 \, a^{2} b^{4} c d + 16 \, a^{3} b^{3} d^{2}\right )} e\right )} x\right )} \sqrt {b x + a}}{15015 \, b^{7}} \]

input
integrate((e*x^2+d*x+c)^3/(b*x+a)^(1/2),x, algorithm="fricas")
 
output
2/15015*(1155*b^6*e^3*x^6 + 15015*b^6*c^3 - 30030*a*b^5*c^2*d + 24024*a^2* 
b^4*c*d^2 - 6864*a^3*b^3*d^3 + 5120*a^6*e^3 + 315*(13*b^6*d*e^2 - 4*a*b^5* 
e^3)*x^5 + 35*(143*b^6*d^2*e + 40*a^2*b^4*e^3 + 13*(11*b^6*c - 10*a*b^5*d) 
*e^2)*x^4 + 5*(429*b^6*d^3 - 320*a^3*b^3*e^3 - 104*(11*a*b^5*c - 10*a^2*b^ 
4*d)*e^2 + 286*(9*b^6*c*d - 4*a*b^5*d^2)*e)*x^3 + 1664*(11*a^4*b^2*c - 10* 
a^5*b*d)*e^2 + 3*(3003*b^6*c*d^2 - 858*a*b^5*d^3 + 640*a^4*b^2*e^3 + 208*( 
11*a^2*b^4*c - 10*a^3*b^3*d)*e^2 + 143*(21*b^6*c^2 - 36*a*b^5*c*d + 16*a^2 
*b^4*d^2)*e)*x^2 + 1144*(21*a^2*b^4*c^2 - 36*a^3*b^3*c*d + 16*a^4*b^2*d^2) 
*e + (15015*b^6*c^2*d - 12012*a*b^5*c*d^2 + 3432*a^2*b^4*d^3 - 2560*a^5*b* 
e^3 - 832*(11*a^3*b^3*c - 10*a^4*b^2*d)*e^2 - 572*(21*a*b^5*c^2 - 36*a^2*b 
^4*c*d + 16*a^3*b^3*d^2)*e)*x)*sqrt(b*x + a)/b^7
 
3.1.3.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 631 vs. \(2 (277) = 554\).

Time = 1.10 (sec) , antiderivative size = 631, normalized size of antiderivative = 2.30 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\begin {cases} \frac {2 \left (\frac {e^{3} \left (a + b x\right )^{\frac {13}{2}}}{13 b^{6}} + \frac {\left (a + b x\right )^{\frac {11}{2}} \left (- 6 a e^{3} + 3 b d e^{2}\right )}{11 b^{6}} + \frac {\left (a + b x\right )^{\frac {9}{2}} \cdot \left (15 a^{2} e^{3} - 15 a b d e^{2} + 3 b^{2} c e^{2} + 3 b^{2} d^{2} e\right )}{9 b^{6}} + \frac {\left (a + b x\right )^{\frac {7}{2}} \left (- 20 a^{3} e^{3} + 30 a^{2} b d e^{2} - 12 a b^{2} c e^{2} - 12 a b^{2} d^{2} e + 6 b^{3} c d e + b^{3} d^{3}\right )}{7 b^{6}} + \frac {\left (a + b x\right )^{\frac {5}{2}} \cdot \left (15 a^{4} e^{3} - 30 a^{3} b d e^{2} + 18 a^{2} b^{2} c e^{2} + 18 a^{2} b^{2} d^{2} e - 18 a b^{3} c d e - 3 a b^{3} d^{3} + 3 b^{4} c^{2} e + 3 b^{4} c d^{2}\right )}{5 b^{6}} + \frac {\left (a + b x\right )^{\frac {3}{2}} \left (- 6 a^{5} e^{3} + 15 a^{4} b d e^{2} - 12 a^{3} b^{2} c e^{2} - 12 a^{3} b^{2} d^{2} e + 18 a^{2} b^{3} c d e + 3 a^{2} b^{3} d^{3} - 6 a b^{4} c^{2} e - 6 a b^{4} c d^{2} + 3 b^{5} c^{2} d\right )}{3 b^{6}} + \frac {\sqrt {a + b x} \left (a^{6} e^{3} - 3 a^{5} b d e^{2} + 3 a^{4} b^{2} c e^{2} + 3 a^{4} b^{2} d^{2} e - 6 a^{3} b^{3} c d e - a^{3} b^{3} d^{3} + 3 a^{2} b^{4} c^{2} e + 3 a^{2} b^{4} c d^{2} - 3 a b^{5} c^{2} d + b^{6} c^{3}\right )}{b^{6}}\right )}{b} & \text {for}\: b \neq 0 \\\frac {c^{3} x + \frac {3 c^{2} d x^{2}}{2} + \frac {d e^{2} x^{6}}{2} + \frac {e^{3} x^{7}}{7} + \frac {x^{5} \cdot \left (3 c e^{2} + 3 d^{2} e\right )}{5} + \frac {x^{4} \cdot \left (6 c d e + d^{3}\right )}{4} + \frac {x^{3} \cdot \left (3 c^{2} e + 3 c d^{2}\right )}{3}}{\sqrt {a}} & \text {otherwise} \end {cases} \]

input
integrate((e*x**2+d*x+c)**3/(b*x+a)**(1/2),x)
 
output
Piecewise((2*(e**3*(a + b*x)**(13/2)/(13*b**6) + (a + b*x)**(11/2)*(-6*a*e 
**3 + 3*b*d*e**2)/(11*b**6) + (a + b*x)**(9/2)*(15*a**2*e**3 - 15*a*b*d*e* 
*2 + 3*b**2*c*e**2 + 3*b**2*d**2*e)/(9*b**6) + (a + b*x)**(7/2)*(-20*a**3* 
e**3 + 30*a**2*b*d*e**2 - 12*a*b**2*c*e**2 - 12*a*b**2*d**2*e + 6*b**3*c*d 
*e + b**3*d**3)/(7*b**6) + (a + b*x)**(5/2)*(15*a**4*e**3 - 30*a**3*b*d*e* 
*2 + 18*a**2*b**2*c*e**2 + 18*a**2*b**2*d**2*e - 18*a*b**3*c*d*e - 3*a*b** 
3*d**3 + 3*b**4*c**2*e + 3*b**4*c*d**2)/(5*b**6) + (a + b*x)**(3/2)*(-6*a* 
*5*e**3 + 15*a**4*b*d*e**2 - 12*a**3*b**2*c*e**2 - 12*a**3*b**2*d**2*e + 1 
8*a**2*b**3*c*d*e + 3*a**2*b**3*d**3 - 6*a*b**4*c**2*e - 6*a*b**4*c*d**2 + 
 3*b**5*c**2*d)/(3*b**6) + sqrt(a + b*x)*(a**6*e**3 - 3*a**5*b*d*e**2 + 3* 
a**4*b**2*c*e**2 + 3*a**4*b**2*d**2*e - 6*a**3*b**3*c*d*e - a**3*b**3*d**3 
 + 3*a**2*b**4*c**2*e + 3*a**2*b**4*c*d**2 - 3*a*b**5*c**2*d + b**6*c**3)/ 
b**6)/b, Ne(b, 0)), ((c**3*x + 3*c**2*d*x**2/2 + d*e**2*x**6/2 + e**3*x**7 
/7 + x**5*(3*c*e**2 + 3*d**2*e)/5 + x**4*(6*c*d*e + d**3)/4 + x**3*(3*c**2 
*e + 3*c*d**2)/3)/sqrt(a), True))
 
3.1.3.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 525 vs. \(2 (250) = 500\).

Time = 0.20 (sec) , antiderivative size = 525, normalized size of antiderivative = 1.92 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2 \, {\left (15015 \, \sqrt {b x + a} c^{3} + 3003 \, c^{2} {\left (\frac {5 \, {\left ({\left (b x + a\right )}^{\frac {3}{2}} - 3 \, \sqrt {b x + a} a\right )} d}{b} + \frac {{\left (3 \, {\left (b x + a\right )}^{\frac {5}{2}} - 10 \, {\left (b x + a\right )}^{\frac {3}{2}} a + 15 \, \sqrt {b x + a} a^{2}\right )} e}{b^{2}}\right )} + 143 \, c {\left (\frac {21 \, {\left (3 \, {\left (b x + a\right )}^{\frac {5}{2}} - 10 \, {\left (b x + a\right )}^{\frac {3}{2}} a + 15 \, \sqrt {b x + a} a^{2}\right )} d^{2}}{b^{2}} + \frac {18 \, {\left (5 \, {\left (b x + a\right )}^{\frac {7}{2}} - 21 \, {\left (b x + a\right )}^{\frac {5}{2}} a + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{2} - 35 \, \sqrt {b x + a} a^{3}\right )} d e}{b^{3}} + \frac {{\left (35 \, {\left (b x + a\right )}^{\frac {9}{2}} - 180 \, {\left (b x + a\right )}^{\frac {7}{2}} a + 378 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{2} - 420 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{3} + 315 \, \sqrt {b x + a} a^{4}\right )} e^{2}}{b^{4}}\right )} + \frac {429 \, {\left (5 \, {\left (b x + a\right )}^{\frac {7}{2}} - 21 \, {\left (b x + a\right )}^{\frac {5}{2}} a + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{2} - 35 \, \sqrt {b x + a} a^{3}\right )} d^{3}}{b^{3}} + \frac {143 \, {\left (35 \, {\left (b x + a\right )}^{\frac {9}{2}} - 180 \, {\left (b x + a\right )}^{\frac {7}{2}} a + 378 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{2} - 420 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{3} + 315 \, \sqrt {b x + a} a^{4}\right )} d^{2} e}{b^{4}} + \frac {65 \, {\left (63 \, {\left (b x + a\right )}^{\frac {11}{2}} - 385 \, {\left (b x + a\right )}^{\frac {9}{2}} a + 990 \, {\left (b x + a\right )}^{\frac {7}{2}} a^{2} - 1386 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{3} + 1155 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{4} - 693 \, \sqrt {b x + a} a^{5}\right )} d e^{2}}{b^{5}} + \frac {5 \, {\left (231 \, {\left (b x + a\right )}^{\frac {13}{2}} - 1638 \, {\left (b x + a\right )}^{\frac {11}{2}} a + 5005 \, {\left (b x + a\right )}^{\frac {9}{2}} a^{2} - 8580 \, {\left (b x + a\right )}^{\frac {7}{2}} a^{3} + 9009 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{4} - 6006 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{5} + 3003 \, \sqrt {b x + a} a^{6}\right )} e^{3}}{b^{6}}\right )}}{15015 \, b} \]

input
integrate((e*x^2+d*x+c)^3/(b*x+a)^(1/2),x, algorithm="maxima")
 
output
2/15015*(15015*sqrt(b*x + a)*c^3 + 3003*c^2*(5*((b*x + a)^(3/2) - 3*sqrt(b 
*x + a)*a)*d/b + (3*(b*x + a)^(5/2) - 10*(b*x + a)^(3/2)*a + 15*sqrt(b*x + 
 a)*a^2)*e/b^2) + 143*c*(21*(3*(b*x + a)^(5/2) - 10*(b*x + a)^(3/2)*a + 15 
*sqrt(b*x + a)*a^2)*d^2/b^2 + 18*(5*(b*x + a)^(7/2) - 21*(b*x + a)^(5/2)*a 
 + 35*(b*x + a)^(3/2)*a^2 - 35*sqrt(b*x + a)*a^3)*d*e/b^3 + (35*(b*x + a)^ 
(9/2) - 180*(b*x + a)^(7/2)*a + 378*(b*x + a)^(5/2)*a^2 - 420*(b*x + a)^(3 
/2)*a^3 + 315*sqrt(b*x + a)*a^4)*e^2/b^4) + 429*(5*(b*x + a)^(7/2) - 21*(b 
*x + a)^(5/2)*a + 35*(b*x + a)^(3/2)*a^2 - 35*sqrt(b*x + a)*a^3)*d^3/b^3 + 
 143*(35*(b*x + a)^(9/2) - 180*(b*x + a)^(7/2)*a + 378*(b*x + a)^(5/2)*a^2 
 - 420*(b*x + a)^(3/2)*a^3 + 315*sqrt(b*x + a)*a^4)*d^2*e/b^4 + 65*(63*(b* 
x + a)^(11/2) - 385*(b*x + a)^(9/2)*a + 990*(b*x + a)^(7/2)*a^2 - 1386*(b* 
x + a)^(5/2)*a^3 + 1155*(b*x + a)^(3/2)*a^4 - 693*sqrt(b*x + a)*a^5)*d*e^2 
/b^5 + 5*(231*(b*x + a)^(13/2) - 1638*(b*x + a)^(11/2)*a + 5005*(b*x + a)^ 
(9/2)*a^2 - 8580*(b*x + a)^(7/2)*a^3 + 9009*(b*x + a)^(5/2)*a^4 - 6006*(b* 
x + a)^(3/2)*a^5 + 3003*sqrt(b*x + a)*a^6)*e^3/b^6)/b
 
3.1.3.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 526 vs. \(2 (250) = 500\).

Time = 0.27 (sec) , antiderivative size = 526, normalized size of antiderivative = 1.92 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2 \, {\left (15015 \, \sqrt {b x + a} c^{3} + \frac {15015 \, {\left ({\left (b x + a\right )}^{\frac {3}{2}} - 3 \, \sqrt {b x + a} a\right )} c^{2} d}{b} + \frac {3003 \, {\left (3 \, {\left (b x + a\right )}^{\frac {5}{2}} - 10 \, {\left (b x + a\right )}^{\frac {3}{2}} a + 15 \, \sqrt {b x + a} a^{2}\right )} c d^{2}}{b^{2}} + \frac {3003 \, {\left (3 \, {\left (b x + a\right )}^{\frac {5}{2}} - 10 \, {\left (b x + a\right )}^{\frac {3}{2}} a + 15 \, \sqrt {b x + a} a^{2}\right )} c^{2} e}{b^{2}} + \frac {429 \, {\left (5 \, {\left (b x + a\right )}^{\frac {7}{2}} - 21 \, {\left (b x + a\right )}^{\frac {5}{2}} a + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{2} - 35 \, \sqrt {b x + a} a^{3}\right )} d^{3}}{b^{3}} + \frac {2574 \, {\left (5 \, {\left (b x + a\right )}^{\frac {7}{2}} - 21 \, {\left (b x + a\right )}^{\frac {5}{2}} a + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{2} - 35 \, \sqrt {b x + a} a^{3}\right )} c d e}{b^{3}} + \frac {143 \, {\left (35 \, {\left (b x + a\right )}^{\frac {9}{2}} - 180 \, {\left (b x + a\right )}^{\frac {7}{2}} a + 378 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{2} - 420 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{3} + 315 \, \sqrt {b x + a} a^{4}\right )} d^{2} e}{b^{4}} + \frac {143 \, {\left (35 \, {\left (b x + a\right )}^{\frac {9}{2}} - 180 \, {\left (b x + a\right )}^{\frac {7}{2}} a + 378 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{2} - 420 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{3} + 315 \, \sqrt {b x + a} a^{4}\right )} c e^{2}}{b^{4}} + \frac {65 \, {\left (63 \, {\left (b x + a\right )}^{\frac {11}{2}} - 385 \, {\left (b x + a\right )}^{\frac {9}{2}} a + 990 \, {\left (b x + a\right )}^{\frac {7}{2}} a^{2} - 1386 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{3} + 1155 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{4} - 693 \, \sqrt {b x + a} a^{5}\right )} d e^{2}}{b^{5}} + \frac {5 \, {\left (231 \, {\left (b x + a\right )}^{\frac {13}{2}} - 1638 \, {\left (b x + a\right )}^{\frac {11}{2}} a + 5005 \, {\left (b x + a\right )}^{\frac {9}{2}} a^{2} - 8580 \, {\left (b x + a\right )}^{\frac {7}{2}} a^{3} + 9009 \, {\left (b x + a\right )}^{\frac {5}{2}} a^{4} - 6006 \, {\left (b x + a\right )}^{\frac {3}{2}} a^{5} + 3003 \, \sqrt {b x + a} a^{6}\right )} e^{3}}{b^{6}}\right )}}{15015 \, b} \]

input
integrate((e*x^2+d*x+c)^3/(b*x+a)^(1/2),x, algorithm="giac")
 
output
2/15015*(15015*sqrt(b*x + a)*c^3 + 15015*((b*x + a)^(3/2) - 3*sqrt(b*x + a 
)*a)*c^2*d/b + 3003*(3*(b*x + a)^(5/2) - 10*(b*x + a)^(3/2)*a + 15*sqrt(b* 
x + a)*a^2)*c*d^2/b^2 + 3003*(3*(b*x + a)^(5/2) - 10*(b*x + a)^(3/2)*a + 1 
5*sqrt(b*x + a)*a^2)*c^2*e/b^2 + 429*(5*(b*x + a)^(7/2) - 21*(b*x + a)^(5/ 
2)*a + 35*(b*x + a)^(3/2)*a^2 - 35*sqrt(b*x + a)*a^3)*d^3/b^3 + 2574*(5*(b 
*x + a)^(7/2) - 21*(b*x + a)^(5/2)*a + 35*(b*x + a)^(3/2)*a^2 - 35*sqrt(b* 
x + a)*a^3)*c*d*e/b^3 + 143*(35*(b*x + a)^(9/2) - 180*(b*x + a)^(7/2)*a + 
378*(b*x + a)^(5/2)*a^2 - 420*(b*x + a)^(3/2)*a^3 + 315*sqrt(b*x + a)*a^4) 
*d^2*e/b^4 + 143*(35*(b*x + a)^(9/2) - 180*(b*x + a)^(7/2)*a + 378*(b*x + 
a)^(5/2)*a^2 - 420*(b*x + a)^(3/2)*a^3 + 315*sqrt(b*x + a)*a^4)*c*e^2/b^4 
+ 65*(63*(b*x + a)^(11/2) - 385*(b*x + a)^(9/2)*a + 990*(b*x + a)^(7/2)*a^ 
2 - 1386*(b*x + a)^(5/2)*a^3 + 1155*(b*x + a)^(3/2)*a^4 - 693*sqrt(b*x + a 
)*a^5)*d*e^2/b^5 + 5*(231*(b*x + a)^(13/2) - 1638*(b*x + a)^(11/2)*a + 500 
5*(b*x + a)^(9/2)*a^2 - 8580*(b*x + a)^(7/2)*a^3 + 9009*(b*x + a)^(5/2)*a^ 
4 - 6006*(b*x + a)^(3/2)*a^5 + 3003*sqrt(b*x + a)*a^6)*e^3/b^6)/b
 
3.1.3.9 Mupad [B] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 299, normalized size of antiderivative = 1.09 \[ \int \frac {\left (c+d x+e x^2\right )^3}{\sqrt {a+b x}} \, dx=\frac {2\,e^3\,{\left (a+b\,x\right )}^{13/2}}{13\,b^7}-\frac {\left (12\,a\,e^3-6\,b\,d\,e^2\right )\,{\left (a+b\,x\right )}^{11/2}}{11\,b^7}+\frac {{\left (a+b\,x\right )}^{9/2}\,\left (30\,a^2\,e^3-30\,a\,b\,d\,e^2+6\,b^2\,d^2\,e+6\,c\,b^2\,e^2\right )}{9\,b^7}+\frac {2\,\sqrt {a+b\,x}\,{\left (e\,a^2-d\,a\,b+c\,b^2\right )}^3}{b^7}+\frac {{\left (a+b\,x\right )}^{5/2}\,\left (30\,a^4\,e^3-60\,a^3\,b\,d\,e^2+36\,a^2\,b^2\,c\,e^2+36\,a^2\,b^2\,d^2\,e-36\,a\,b^3\,c\,d\,e-6\,a\,b^3\,d^3+6\,b^4\,c^2\,e+6\,b^4\,c\,d^2\right )}{5\,b^7}-\frac {2\,\left (2\,a\,e-b\,d\right )\,{\left (a+b\,x\right )}^{7/2}\,\left (10\,a^2\,e^2-10\,a\,b\,d\,e+b^2\,d^2+6\,c\,b^2\,e\right )}{7\,b^7}-\frac {2\,\left (2\,a\,e-b\,d\right )\,{\left (a+b\,x\right )}^{3/2}\,{\left (e\,a^2-d\,a\,b+c\,b^2\right )}^2}{b^7} \]

input
int((c + d*x + e*x^2)^3/(a + b*x)^(1/2),x)
 
output
(2*e^3*(a + b*x)^(13/2))/(13*b^7) - ((12*a*e^3 - 6*b*d*e^2)*(a + b*x)^(11/ 
2))/(11*b^7) + ((a + b*x)^(9/2)*(30*a^2*e^3 + 6*b^2*c*e^2 + 6*b^2*d^2*e - 
30*a*b*d*e^2))/(9*b^7) + (2*(a + b*x)^(1/2)*(b^2*c + a^2*e - a*b*d)^3)/b^7 
 + ((a + b*x)^(5/2)*(30*a^4*e^3 - 6*a*b^3*d^3 + 6*b^4*c*d^2 + 6*b^4*c^2*e 
+ 36*a^2*b^2*c*e^2 + 36*a^2*b^2*d^2*e - 60*a^3*b*d*e^2 - 36*a*b^3*c*d*e))/ 
(5*b^7) - (2*(2*a*e - b*d)*(a + b*x)^(7/2)*(10*a^2*e^2 + b^2*d^2 + 6*b^2*c 
*e - 10*a*b*d*e))/(7*b^7) - (2*(2*a*e - b*d)*(a + b*x)^(3/2)*(b^2*c + a^2* 
e - a*b*d)^2)/b^7